Reformulating linear programs with transportation constraints—With applications to workforce scheduling

We study linear programming models that contain transportation constraints in their formulation. Typically, these models have a multistage nature and the transportation constraints together with the associated flow variables are used to achieve consistency between consecutive stages. We describe how to reformulate these models by projecting out the flow variables. The reformulation can be more desirable since it has fewer variables and can be solved faster. We apply these ideas to reformulate two well‐known workforce staffing and scheduling problems: the shift scheduling problem and the tour scheduling problem. We also present computational results. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

离散型随机BAM神经网络时滞分布依赖全局指数稳定性

研究一类具有随机时滞与随机干扰的离散型BAM神经网络的全局指数稳定性,所建模型同时考虑离散时滞变化区间与分布概率对稳定性的影响．通过构造新的Lyapunov泛函并结合线性矩阵不等式（LMI）方法,得到了均方意义下依赖于时滞分布的全局指数稳定性条件．     

离散线性系统部分可观测性测试配置

不可观测系统的部分状态可观测性对于大系统故障检测具有十分重要的意义.研究了基于部分可观测性的不可观测离散线性系统测点优化配置问题,证明了采用有限次观测值构造一个矩阵,可以给出部分可观测性成立的充分必要条件,并进一步证明了部分可观测性的度量可以用一个矩阵的秩的特性来刻画.最后,给出了离散线性系统部分可观测性测试优化配置的度量指标.算例表明,提出的部分可观测性度量指标具有简单实用的特点.     

粘弹性介质中球形空腔嵌入层的共振特性研究

潜艇吸声覆盖层在低频对抗主动声纳的探测是目前面临的一个重要技术难题.利用空腔共振时的吸收是解决低频吸声问题的一种有效途径.文中在假设入射球形纵波完全被腔壁反射的情形下,对球形空腔嵌入层的共振特性进行了理论分析.结果表明,在粘弹性介质中嵌入适当厚度的低剪切波速包覆层能有效地降低空腔共振的频率.     

鲁棒稳定控制器的参数化设计方法

基于特征结构配置参数化方法,讨论了一类匹配的不确定线性系统的鲁棒控制问题,目的是设计鲁棒稳定控制器,使不确定闭环线性系统的特征值始终位于复平面的左半平面中某扇形区域内.给出了该鲁棒稳定控制器存在的充分条件及其参数化表示,可进一步利用其自由度满足某些设计要求.给出的数值例子,表明了鲁棒稳定控制器参数化设计方法的有效性.     

基于非齐次线性方程组的认证协议的研究

认证技术是信息安全理论与技术的一个重要方面.认证技术主要包括用户认证和信息认证2个方面.前者用于鉴别用户身份,后者用于保证信息的真实来源.本文基于线性代数的方程组的解的理论建立了一种身份认证协议和一种消息认证协议.通过安全性分析结果表明这个新的身份认证协议能够保证用户身份的正确认证,新的信息认证协议能够保证数据的机密性、完整性,同时能够防止重传攻击认证信息来源.     

自组装SiO2光子晶体线形阵列

采用溶剂蒸发技术在硅槽内对自制的SiO2微球进行组装,获得了具有显著光子带隙特征的SiO2光子晶体线形阵列,与平坦表面生长的光子晶体相比,微球在微槽内的自组装行为受到了明显的限制作用.     

Approximations and empirics for stochastic war equations

The article develops a theorem which shows that the Lanchester linear war equations are not in general equal to the Kolmogorov linear war equations. The latter are time‐consuming to solve, and speed is important when a large number of simulations must be run to examine a large parameter space. Run times are provided, where time is a scarce factor in warfare. Four time efficient approximations are presented in the form of ordinary differential equations for the expected sizes and variances of each group, and the covariance, accounting for reinforcement and withdrawal of forces. The approximations are compared with “exact” Monte Carlo simulations and empirics from the WWII Ardennes campaign. The band spanned out by plus versus minus the incremented standard deviations captures some of the scatter in the empirics, but not all. With stochastically varying combat effectiveness coefficients, a substantial part of the scatter in the empirics is contained. The model is used to forecast possible futures. The implications of increasing the combat effectiveness coefficient governing the size of the Allied force, and injecting reinforcement to the German force during the Campaign, are evaluated, with variance assessments. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

化学激光器环形与线形分流管道对比的数值分析

环柱型化学激光器中使用的分流管道的总管为环形弯曲管道,支管分布在内侧圆弧或外侧圆弧上,结构与线形分流管道有较大差别。应用计算流体力学方法,对上述各分流管道进行了三维的数值模拟及对比分析。结果表明,线形分流管道总管内的总压高于支管分布在外侧圆弧上的环形管道,但低于支管分布在内侧圆弧上的环形管道;无论是支管分流,抑或环形管道内的二次流现象都会使总管截面上产生径向速度,使得流体流动呈现明显的三维特征;分流管道各支管流量沿主流流动方向基本上是上升的,这与总管的总压分布趋势相反,而与总管的静压分布趋势相似;比较而言,支管分布在外侧圆弧上的环形分流管道的支管流量波动幅度最小,在均匀分配气流方面最具优势,线形分流管道居中,支管分布在内侧圆弧上的环形分流管道最差。     

基于LMI的磁轴承-转子系统鲁棒增益调度控制器设计

针对陀螺效应明显的磁轴承-转子系统转速变化引起的模型变化而带来的控制问题,提出基于LMI的鲁棒增益调度方法设计控制器.通过建立系统依转速变化的LPV模型,设计了鲁棒增益调度控制器,使转子在全转速范围内保证了鲁棒稳定性和性能.为降低控制器设计的保守性,可缩小转速区间设计控制器使控制性能得到提高.与基于LTI模型设计的鲁棒...